<html>
<body>
向数值字面量添加 PHP 7.4 数字分隔符。
对于十进制数字，每三位数字（千位）添加一个分隔符。
否则，每四个数字加一个。
</body>
</html>
